.\"   $Id: viewbddcircuit.3,v 1.1 2002/03/18 11:26:51 ludo Exp $
.\" @(#)viewbddcircuit.2 2.7 96/07/02 ; Labo masi cao-vlsi; Author : Jacomme Ludovic
.TH VIEWBDDCIRCUIT 3 "October 1, 1997" "ASIM/LIP6" "BDD FUNCTIONS"
.SH NAME
viewbddcircuit \- displays a \fBbdd\fP circuit.
.so man1/alc_origin.1
.SH SYNOPSIS
.nf
.if n \{\
.ft B \}
.if t \{\
.ft CR \}
#include "bdd101.h"
void viewbddcircuit( BddCircuit, ViewIndex )
  bddcircuit \(**BddCircuit;
  char       ViewName;
.ft R
.fi
.SH PARAMETERS
.TP 20
\fIBddCircuit\fP
The \fBbdd\fP circuit to display.
.TP
\fIViewName\fP
Flag to display more information.
.SH DESCRIPTION
\fBviewbddcircuit\fP displays the \fBbdd\fP circuit \fIBddCircuit\fP.
If \fIViewName\fP is true, \fBviewbddcircuit\fP displays also the field \fINAME_IN\fP.
If a null pointer is given, the default \fBbdd\fP circuit is used.
.br
.SH RETURN VALUE
\fBviewbddcircuit\fP returns nothing.
.SH EXAMPLE
.ta 3n 6n 9n 12n 15n 18n 21n
.nf
.if n \{\
.ft B \}
.if t \{\
.ft CR \}
#include "bdd101.h"
   bddsystem  \(**BddSystem;
   bddcircuit \(**BddCircuit;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   ...
   viewbddcircuit( (bddcircuit \(**)0, 0 );
   destroybddsystem( (bddsystem \(**)0 );
   destroybddcircuit( (bddcircuit \(**)0 );
.ft R
.fi
.SH SEE ALSO
.BR bdd (1)


.so man1/alc_bug_report.1

